اختيار الموقع            تسجيل دخول
 

الأبحاث العلمية
الابحاث حسب سنة النشر
  نتيجة البحث عن  : Dssouli, Rachida
   تم العثور علي  2  مقالة
 

Specifying and verifying contract-driven service compositions using commitments and model checking
 Bataineh, Ahmed Saleh - Canada
Bentahar, Jamal - Canada
El Menshawy, Mohamed - Canada
Dssouli, Rachida - Canada

الكلمات الدالة  Automata theory; Autonomous agents; Compliance control; Computation theory; Computer programming; Encoding (symbols); Intelligent agents; Intelligent systems; Multi agent systems; Translation (languages); Web services; Websites
الصفحات  151-184
تم النشر بتاريخ  : 15/05/2017




Specifying and verifying contract-driven service compositions using commitments and model checking /تحديد وتحقيق الخدمة المركبة والمنبثقة من العقد بإستخدام الإلتزامات وفحص النموذج
 Ahmed Saleh Bataineh - جامعة المنوفية - كلية الحاسبات والمعلومات
Jamal Bentaha - جامعة المنوفية - كلية الحاسبات والمعلومات
Mohamed El Menshawy - جامعة المنوفية - كلية الحاسبات والمعلومات
Rachida Dssouli - Canada

الكلمات الدالة  Contract-driven web servicesWeb service compositionBPELCommunicative commitmentsModel checking.
الصفحات  151 - 181 P.
تم النشر في  : Elsevier
تم النشر بتاريخ  : 01/03/2017
الملحقات  : 1 - Copy.docxتحميل



 


Powered by Future Library Software.All rights reserved © CITC - Mansoura University. Sponsored by Mansoura University Privacy Policy